منابع مشابه
Tackling the Dagstuhl'94 Specification Problem with I/o Automata Tackling the Dagstuhl'94 Speciication Problem with I/o Automata
An I/O automata solution to the problem posed by Broy & Lamport at the Dagstuhl Workshop on Reactive Systems is presented. The problem, which concerns components that communicate by means of a procedure interface, consists of an untimed and a timed part. In this paper, both parts are solved completely.
متن کاملOcl 94
provide a simple electrical equivalent circuit that lends itself to circuit analysis. The magnetic structure shown in Figure 1 will be the first demonstration of this technique. This simple inductor is built upon a ferrite core, with air gaps to store the required inductive energy created by simply shimming the two core halves apart (not usually a good practice, but inexpensive). Purpose: I. To...
متن کاملSigir '94
Die diesjährige Konferenz der Special Interest Group Information Retrieval (SIGIR) der ACM fand vom 4. bis 6. Juli 1994 an der Dublin City University unter der Leitung von Alan Smeaton statt. Insgesamt kamen ca. 270 Teilnehmer aus 20 Ländern (inkl. Australien, Südkorea, Singapur, Japan, Slovenien, USA, Canada und den meisten europäischen Staaten). Ca. ein Drittel erhielt Mittel aus dem HCM-Förd...
متن کاملCoLing'94
We first present our view of detection and correction of syntactic errors. We then introduce a new correction method, based on heuristic criteria used to decide which correction should be preferred. Weighting of these criteria leads to a flexible and parametrable system, which can adapt itself to the user. A partitioning of the trees based on linguistic criteria: agreement rules, rather than co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1988
ISSN: 0012-365X
DOI: 10.1016/0012-365x(88)90034-9